((function () {
  a["Infinity"] = (1);
})());
